The logic of temporal domination
نویسنده
چکیده
We present the logic of temporal domination, which is closely related to k-counting automata. We introduce syntax and semantics of our logic and show that it is a proper extension of linear time temporal logic.
منابع مشابه
Drought monitoring in Ardabil province by means of SEPI fuzzy index developed based on the fuzzy logic
Drought defined as a climatic phenomenon with the humidity and rainfall shortage as compared with normal conditions. This phenomenon affects on all of aspects of human activities, severely. while, studies associated with this phenomenon on the basis of appropriate methods are very low. In the present study, effort has been made to analyze the drought state in Ardabil province by means of...
متن کاملNumerical Analysis of Stability for Temporal Bright Solitons in a PT-Symmetric NLDC
PT-Symmetry is one of the interesting topics in quantum mechanics and optics. One of the demonstration of PT-Symmetric effects in optics is appeared in the nonlinear directional coupler (NLDC). In the paper we numerically investigate the stability of temporal bright solitons propagate in a PT-Symmetric NLDC by considering gain in bar and loss in cross. By using the analytical solutions of pertu...
متن کاملEffect of Relative Phase on the Stability of Temporal Bright Solitons in a PT- Symmetric NLDC
In this paper we numerically investigate the effect of relative phase on thestability of temporal bright solitons in a Nano PT- Symmetric nonlinear directionalcoupler (NLDC) by considering gain in bar and loss in cross. We also study the effect ofrelative phase on the output perturbed bright solitons energies, in the range of 0 to 180 . By using perturbation theory three eigenfunctions an...
متن کاملEfficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کاملEdge Domination in Intuitionistic Fuzzy Graphs
In this paper we introduce the concept of edge domination and total edge domination in intuitionistic fuzzy graphs. We determine the edge domination number and total edge domination number for several classes of intuitionistic fuzzy graphs and obtain bounds for them. We also obtain Nordhaus gaddum type results for the parameters.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014